منابع مشابه
STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملSubspaces in Abstract Stone Duality
By abstract Stone duality we mean that the topology or contravariant powerset functor, seen as a self-adjoint exponential Σ on some category, is monadic. Using Beck’s theorem, this means that certain equalisers exist and carry the subspace topology. These subspaces are encoded by idempotents that play a role similar to that of nuclei in locale theory. Paré showed that any elementary topos has t...
متن کاملStone Duality for Stable Functions
The problem of finding an algebraic structure for stable open subsets of a suitable domain has been recently raised by several authors. Specifically, it could be useful to have, in the stable case, a notion similar to the one of “frame”, in order to develop something similar to pointless topology, that is an algebraic insight of spaces. In domain theory, an interesting application of frame theo...
متن کاملCoalgebras, Stone Duality, Modal Logic
A brief outline of the topics of the course could be as follows. Coalgebras generalise transition systems. Modal logics are the natural logics for coalgebras. Stone duality provides the relationship between coalgebras and modal logic. Furthermore, some basic category theory is needed to understand coalgebras as well as Stone duality. So we will need to learn something about modal logic, about S...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2004
ISSN: 0166-8641
DOI: 10.1016/s0166-8641(03)00204-9